perm filename CIRCUM.FIL[E83,JMC] blob
sn#722124 filedate 1983-08-02 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 bird[f82,jmc] Another version of "A bird can fly unless ...
C00004 ENDMK
Cā;
bird[f82,jmc] Another version of "A bird can fly unless ...
bird.2[f82,jmc] Another approach to " A bird can fly unless
bird.3[f82,jmc] The reasoning itself
circum[f82,jmc] Mathematical questions of circumscription
circum.dis[f82,jmc] Mailing list for reports on circumscription
circum.ex[f82,jmc] Examples for circumscription paper
circum.lec[f82,jmc] Notes for lecture on circumscription
circum.mor[f82,jmc] More on circumscription - for IJCAI or AAAI
airpor[w83,jmc] Axioms for the airport problem
blocks[w83,jmc] Blocks axioms using circumscription
circum.com[w83,jmc] Making circumscription computable
circum.not[w83,jmc] More: 1. Circumscribing when generalizing